The International Arab Journal of Information Technology (IAJIT)

Ontology-Based Transformation and Verification of UML Class Model

Abdul Hafeez1, Syed Abbas2, and Aqeel-ur-Rehman3 1Department of Computer Science, SMI University, Karachi 2Faculty Engineering Science and Technology, Indus University, Karachi 3Faculty of Engineering Science and Technology, Hamdard University, Karachi